Tolerant Linearity Testing and Locally Testable Codes

نویسندگان

  • Swastik Kopparty
  • Shubhangi Saraf
چکیده

We study tolerant linearity testing under general distributions. Given groups G and H, a distribution μ on G, and oracle access to a function f : G→ H, we consider the task of approximating the smallest μ-distance of f to a homomorphism h : G→ H, where the μ-distance between f and h is the probability that f(x) 6= h(x) when x is drawn according to the distribution μ. This question is intimately connected to local testability of linear codes. In this work, we give a general sufficient condition on the distribution μ for linearity to be tolerantly testable with a constant number of queries. Using this condition we show that linearity is tolerantly testable for several natural classes of distributions including low bias, symmetric and product distributions. This gives a new and simple proof of a result of Kaufman and Sudan which shows that sparse, unbiased linear codes over Z2 are locally testable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some Recent Results on Local Testing of Sparse Linear Codes

We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study the question of linearity testing under non-uniform distributions directly, and give a sufficient criterion for linearity to be tolerantly testable under a given distribution. We show that several natural classes of dist...

متن کامل

Tolerant Locally Testable Codes

An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword, looking at very few locations of the input in doing so. Locally testable codes (LTCs) have generated a lot of interest over the years, in large part due to their connection to Probabilistically checkable proofs (PCPs...

متن کامل

Towards Lower Bounds on Locally Testable Codes

1 Abbreviations and Notations 3 1 General Introduction 4 1.1 PCP theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Property Testing . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3 Locally Testable Codes . . . . . . . . . . . . . . . . . . . . . . 6 1.3.1 Random locally testable codes . . . . . . . . . . . . . 6 1.3.2 Algebraic Construction of LTCs . . . . . . . . . . ....

متن کامل

Limits on the Rate of Locally Testable Affine-Invariant Codes

Despite its many applications, to program checking, probabilistically checkable proofs, locally testable and locally decodable codes, and cryptography, “algebraic property testing” is not well-understood. A significant obstacle to a better understanding, was a lack of a concrete definition that abstracted known testable algebraic properties and reflected their testability. This obstacle was rem...

متن کامل

Lecture Notes on Locally Testable Codes and Proofs

In terms of property testing, locally testable codes are error correcting codes such that the property of being a codeword can be tested within low query complexity. As for locally testable proofs (PCPs), these can be viewed as massively parametrized properties that are testable within low query complexity such that the parameterized property is non-empty if and only if the corresponding parame...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009